Parallel Algorithms for Equilevel Predicates

We define a new class of predicates called equilevel predicates on a distributive lattice which eases the analysis of parallel algorithms. Many combinatorial problems such as the vertex cover problem, the bipartite matching problem, and the minimum spanning tree problem can be modeled as detecting an equilevel predicate. The problem of detecting an equilevel problem is NP-complete, but equilevel predicates with the helpful property can be detected in polynomial time in an online manner. An equilevel predicate has the helpful property with a polynomial time algorithm if the algorithm can return a nonempty set of indices such that advancing on any of them can be used to detect the predicate. Furthermore, the refined independently helpful property allows online parallel detection of such predicates in NC. When the independently helpful property holds, advancing on all the specified indices in parallel can be used to detect the predicate in polylogarithmic time. We also define a special class of equilevel predicates called solitary predicates. Unless NP = RP, this class of predicate also does not admit efficient algorithms. Earlier work has shown that solitary predicates with the efficient advancement can be detected in polynomial time. We introduce two properties called the antimonotone advancement and the efficient rejection which yield the detection of solitary predicates in NC. Finally, we identify the minimum spanning tree, the shortest path, and the conjunctive predicate detection as problems satisfying such properties, giving alternative certifications of their NC memberships as a result.Comment: To appear in ICDCN 202

Expansion of a colonial ascidian following consecutive mass coral bleaching at Lizard Island, Australia

Mass coral bleaching is challenging today's coral reefs. However, our understanding of dynamics in benthic space holders, following such disturbances, is limited. To address this, we quantified successional dynamics of the ascidian, Didemnum cf. molle using a series of temporally and spatially matched photoquadrats across both the 2016 and 2017 mass coral bleaching events on the Great Barrier Reef. Unlike corals, D. cf. molle appeared to flourish in the warm temperatures and rapidly expanded. Indeed, colony density increased nearly 6-fold over two years with one quadrat experiencing an increase of over 1000 ind. m⁻². However, this increase did not simply track the increase in space due to coral mortality, but may have benefitted from reduced predation or increased nutrient availability following mass coral mortality. This study highlights the potential for D. cf molle to expand under bleaching conditions and to become a more prominent component of future reef configurations

A 3D perspective on sediment accumulation in algal turfs: implications of coral reef flattening

Globally, coral reefs are being transformed by a suite of stressors, the foremost being climate change. Increasingly, it is expected that these reconfigured reef systems will emerge with lower-complexity and will be dominated by algal turfs. Understanding this new operating space is vital if we are to maintain the services, such as fishable biomass production, that reefs provide. However, the functionality of these systems appears to depend on the nature of the algal turfs themselves, which is in-turn, intimately linked to the sediments they contain. As reefs are losing complexity, we need to understand if, and to what extent, algal turf condition and complex reef structure are connected. To address this issue we took advantage of recent developments in 3D structure-from-motion technology to examine how complexity metrics (elevation and surface angle) related to the nature of algal turfs on a heavily climate-impacted coral reef. This represents a novel application of this technology in the context of coral reef ecosystems. We found that as both elevation and surface angle decreased, the nutritional value of the epilithic algal matrix also decreased while sediment accumulation increased. Furthermore, we showed that elevated surfaces were characterized by far shorter algal turfs, and are potentially herbivory hotspots, offering fertile grounds for further exploration of herbivory dynamics at sub-metre spatial scales. Synthesis. This study yields new insights into the operating-space of future reefs, and suggests that as reefs flatten, sediment accumulation is likely to increase even if sediment inputs remain unchanged, altering algal turfs fundamentally. Maintaining key services provided by climate-transformed, low-complexity algal turf-dominated reefs of the future, will depend on managing the complex interactions between herbivory, sediments, algal turfs and reef structural complexity

Young fishes persist despite coral loss on the Great Barrier Reef

Unprecedented global bleaching events have led to extensive loss of corals. This is expected to lead to extensive losses of obligate coral-dependent fishes. Here, we use a novel, spatially-matched census approach to examine the nature of fish-coral dependency across two mass coral bleaching events. Despite a >40% loss of coral cover, and the ecological extinction of functionally important habitat-providing Acropora corals, we show that populations of obligate coral-dependent fishes, including Pomacentrus moluccensis, persisted and – critically – recruitment was maintained. Fishes used a wide range of alternate reef habitats, including other coral genera and dead coral substrata. Labile habitat associations of 'obligate' coral-dependent fishes suggest that recruitment may be sustained on future reefs that lack Acropora, following devastating climatic disturbances. This persistence without Acropora corals offers grounds for cautious optimism; for coral-dwelling fishes, corals may be a preferred habitat, not an obligate requirement

Spatial mismatch in fish and coral loss following 2016 mass coral bleaching

Record-breaking temperatures between 2015 and 2016 led to unprecedented pan-tropical bleaching of scleractinian corals. On the Great Barrier Reef (GBR), the effects were most pronounced in the remote, northern region, where over 90% of reefs exhibited bleaching. Mass bleaching that results in widespread coral mortality represents a major disturbance event for reef organisms, including reef fishes. Using 133 replicate 1 m(2) quadrats, we quantified short-term changes in coral communities and spatially associated reef fish assemblages, at Lizard Island, Australia, in response to the 2016 mass bleaching event. Quadrats were spatially matched, permitting repeated sampling of fish and corals in the same areas: before, during and 6 months after mass bleaching. As expected, we documented a significant decrease in live coral cover. Subsequent decreases in fish abundance were primarily driven by coral-associated damselfishes. However, these losses, were relatively minor (37% decrease), especially compared to the magnitude of Acropora loss (>95% relative decrease). Furthermore, at a local, 1 m(2) scale, we documented a strong spatial mismatch between fish and coral loss. Post-bleaching fish losses were not highest in quadrats that experienced the greatest loss of live coral. Nor were fish losses associated with a proliferation of cyanobacteria. Several sites did, however, exhibit increases in fish abundance suggesting substantial spatial movements. These results challenge common assumptions and emphasize the need for caution when ascribing causality to observed patterns of fish loss at larger spatial scales. Our results highlight the potential for short-term resilience to climate change, in fishes, through local migration and habitat plasticity. (C) 2018 Elsevier B.V. All rights reserved

A Control Theoretic Approach to Infrastructure-Centric Blockchain Tokenomics

There are a multitude of Blockchain-based physical infrastructure systems, operating on a crypto-currency enabled token economy, where infrastructure suppliers are rewarded with tokens for enabling, validating, managing and/or securing the system. However, today's token economies are largely designed without infrastructure systems in mind, and often operate with a fixed token supply (e.g., Bitcoin). This paper argues that token economies for infrastructure networks should be structured differently - they should continually incentivize new suppliers to join the network to provide services and support to the ecosystem. As such, the associated token rewards should gracefully scale with the size of the decentralized system, but should be carefully balanced with consumer demand to manage inflation and be designed to ultimately reach an equilibrium. To achieve such an equilibrium, the decentralized token economy should be adaptable and controllable so that it maximizes the total utility of all users, such as achieving stable (overall non-inflationary) token economies. Our main contribution is to model infrastructure token economies as dynamical systems - the circulating token supply, price, and consumer demand change as a function of the payment to nodes and costs to consumers for infrastructure services. Crucially, this dynamical systems view enables us to leverage tools from mathematical control theory to optimize the overall decentralized network's performance. Moreover, our model extends easily to a Stackelberg game between the controller and the nodes, which we use for robust, strategic pricing. In short, we develop predictive, optimization-based controllers that outperform traditional algorithmic stablecoin heuristics by up to $2.4 \times$ in simulations based on real demand data from existing decentralized wireless networks

The role of the reef flat in coral reef trophodynamics: past, present, and future

The reef flat is one of the largest and most distinctive habitats on coral reefs, yet its role in reef trophodynamics is poorly understood. Evolutionary evidence suggests that reef flat colonization by grazing fishes was a major innovation that permitted the exploitation of new space and trophic resources. However, the reef flat is hydrodynamically challenging, subject to high predation risks and covered with sediments that inhibit feeding by grazers. To explore these opposing influences, we examine the Great Barrier Reef (GBR) as a model system. We focus on grazing herbivores that directly access algal primary productivity in the epilithic algal matrix (EAM). By assessing abundance, biomass, and potential fish productivity, we explore the potential of the reef flat to support key ecosystem processes and its ability to maintain fisheries yields. On the GBR, the reef flat is, by far, the most important habitat for turf‐grazing fishes, supporting an estimated 79% of individuals and 58% of the total biomass of grazing surgeonfishes, parrotfishes, and rabbitfishes. Approximately 59% of all (reef‐wide) turf algal productivity is removed by reef flat grazers. The flat also supports approximately 75% of all grazer biomass growth. Our results highlight the evolutionary and ecological benefits of occupying shallow‐water habitats (permitting a ninefold population increase). The acquisition of key locomotor and feeding traits has enabled fishes to access the trophic benefits of the reef flat, outweighing the costs imposed by water movement, predation, and sediments. Benthic assemblages on reefs in the future may increasingly resemble those seen on reef flats today, with low coral cover, limited topographic complexity, and extensive EAM. Reef flat grazing fishes may therefore play an increasingly important role in key ecosystem processes and in sustaining future fisheries yields

Bio-physical determinants of sediment accumulation on an offshore coral reef: A snapshot study

Sediments are found on all coral reefs around the globe. However, the amount of sediment in different reservoirs, and the rates at which sediments move between reservoirs, can shape the biological functioning of coral reefs. Unfortunately, relatively few studies have examined reef sediment dynamics, and associated bio-physical drivers, simultaneously over matching spatial and temporal scales. This has led to a partial understanding of how sediments and living reef systems are connected, especially on clear-water offshore reefs. To address this problem, four sediment reservoirs/sedimentary processes and three bio-physical drivers were quantified across seven different reef habitats/depths at Lizard Island, an exposed mid-shelf reef on the Great Barrier Reef. Even in this clear-water reef location a substantial load of suspended sediment passed over the reef; a load theoretically capable of replacing the entire standing stock of on-reef turf sediments in just 8 h. However, quantification of actual sediment deposition suggested that just 2 % of this passing sediment settled on the reef. The data also revealed marked spatial incongruence in sediment deposition (sediment trap data) and accumulation (TurfPod data) across the reef profile, with the flat and back reef emerging as key areas of both deposition and accumulation. By contrast, the shallow windward reef crest was an area of deposition but had a limited capacity for sediment accumulation. These cross-reef patterns related to wave energy and reef geomorphology, with low sediment accumulation on the ecologically important reef crest aligning with substantial wave energy. These findings reveal a disconnect between patterns of sediment deposition and accumulation on the benthos, with the ‘post-settlement’ fate of sediments dependent on local hydrodynamic conditions. From an ecological perspective, the data suggests key contextual constraints (wave energy and reef geomorphology) may predispose some reefs or reef areas to high-load turf sediment regimes

The role of the reef flat in coral reef trophodynamics: Past, present, and future

The reef flat is one of the largest and most distinctive habitats on coral reefs, yet its role in reef trophodynamics is poorly understood. Evolutionary evidence suggests that reef flat colonization by grazing fishes was a major innovation that permitted the exploitation of new space and trophic resources. However, the reef flat is hydrodynamically challenging, subject to high predation risks and covered with sediments that inhibit feeding by grazers. To explore these opposing influences, we examine the Great Barrier Reef (GBR) as a model system. We focus on grazing herbivores that directly access algal primary productivity in the epilithic algal matrix (EAM). By assessing abundance, biomass, and potential fish productivity, we explore the potential of the reef flat to support key ecosystem processes and its ability to maintain fisheries yields. On the GBR, the reef flat is, by far, the most important habitat for turf‐grazing fishes, supporting an estimated 79% of individuals and 58% of the total biomass of grazing surgeonfishes, parrotfishes, and rabbitfishes. Approximately 59% of all (reef‐wide) turf algal productivity is removed by reef flat grazers. The flat also supports approximately 75% of all grazer biomass growth. Our results highlight the evolutionary and ecological benefits of occupying shallow‐water habitats (permitting a ninefold population increase). The acquisition of key locomotor and feeding traits has enabled fishes to access the trophic benefits of the reef flat, outweighing the costs imposed by water movement, predation, and sediments. Benthic assemblages on reefs in the future may increasingly resemble those seen on reef flats today, with low coral cover, limited topographic complexity, and extensive EAM. Reef flat grazing fishes may therefore play an increasingly important role in key ecosystem processes and in sustaining future fisheries yields.Fish counts were conducted under a Great Barrier Reef Marine Parks Permit (Permit number: G04/12937.1) and funded by the Australian Research Council (DRB)

Divergent roles for Eph and Ephrin in Avian Cranial Neural Crest

<p>Abstract</p> <p>Background</p> <p>As in other vertebrates, avian hindbrain neural crest migrates in streams to specific branchial arches. Signalling from Eph receptors and ephrins has been proposed to provide a molecular mechanism that guides the cells restricting them to streams. In mice and frogs, cranial neural crest express a combination of Eph receptors and ephrins that appear to exclude cells from adjacent tissues by forward and reverse signalling. The objective of this study was to provide comparative data on the distribution and function of Eph receptors and ephrins in avian embryos.</p> <p>Results</p> <p>To distinguish neural crest from bordering ectoderm and head mesenchyme, we have co-labelled embryos for Eph or ephrin RNA and a neural crest marker protein. Throughout their migration avian cranial neural crest cells express EphA3, EphA4, EphA7, EphB1, and EphB3 and move along pathways bordered by non-neural crest cells expressing ephrin-B1. In addition, avian cranial neural crest cells express ephrin-B2 and migrate along pathways bordered by non-neural crest cells expressing EphB2. Thus, the distribution of avian Eph receptors and ephrins differs from those reported in other vertebrates. In stripe assays when explanted cranial neural crest were given the choice between FN or FN plus clustered ephrin-B1 or EphB2 fusion protein, the cells strongly localize to lanes containing only FN. This preference is mitigated in the presence of soluble ephrin-B1 or EphB2 fusion protein.</p> <p>Conclusion</p> <p>These findings show that avian cranial neural crest use Eph and ephrin receptors as other vertebrates in guiding migration. However, the Eph receptors are expressed in different combinations by neural crest destined for each branchial arch and ephrin-B1 and ephrin-B2 appear to have opposite roles to those reported to guide cranial neural crest migration in mice. Unlike many of the signalling, specification, and effector pathways of neural crest, the roles of Eph receptors and ephrins have not been rigorously conserved. This suggests diversification of receptor and ligand expression is less constrained, possibly by promiscuous binding and use of common downstream pathways.</p